703609 Automatisches Beweisen
Wintersemester 2015/2016 | Stand: 02.02.2016 | LV auf Merkliste setzen703609
Automatisches Beweisen
PS 1
2
wöch.
2-Jahresrhythmus
Englisch
Logik ist definiert als das Studium des Prinzip des Schließens. Das Modul erweitert die einführende Logikvorlesung im Grundstudium.
Syntax, Semantik und formale Systeme der Prädikatenlogik (mit Gleichheit), Erweiterungen der Prädikatenlogik, wie Modallogik oder zweistufiger Logik, Curry-Howard Isomorphismus, Automatisches Beweisen (mit Gleichheit) in der Prädikatenlogik. Resolution und Paramodulation.
Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.
Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen
Wird im Rahmen der ersten Lehrveranstaltung besprochen.
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Fr 09.10.2015
|
15.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 16.10.2015
|
15.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 23.10.2015
|
15.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 30.10.2015
|
15.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 06.11.2015
|
15.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 13.11.2015
|
15.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 20.11.2015
|
15.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 27.11.2015
|
15.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 04.12.2015
|
15.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 11.12.2015
|
15.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 18.12.2015
|
15.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 15.01.2016
|
15.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Fr 29.01.2016
|
15.15 - 16.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 29.02.2016
|
10.00 - 12.00 | HS 11 HS 11 | Barrierefrei | 1. Klausur |